An initial study of quality assurance techniques for automated water level control systems

This study aims to formulate requirements for models and programs of cyber-physical systems through an investigation existing approaches dynamic verification control programs. Building on this research, we propose a formal model process-oriented in systems. Additionally, our goal is develop software package based the proposed methods models. The research focuses hyperprocesses, which involve multiple interacting processes with executable states. complexity being created prevalence routine operations present challenges applying their verification. Neglecting poses significant risks system development. Therefore, addressing challenge involves development that combine testing simulation techniques.